type theory - French English Dictionary